TOE-MCSED-A - PPGEEL

Conceituação, classificação e propriedades de Sistemas a Eventos Discretos (SEDs). Linguagens, operações sobre linguagens, expressões regulares, representação de SEDs por linguagens. Autômatos determinísticos e não determínisticos de estados finitos, bloqueio num SED, minimização de autômatos, composição de autômatos, autômatos como modelos para SEDs. Controle Supervisório de SEDs, o Problema de Controle, controlabilidade, existência de supervisores, síntese de supervisores ótimos. Implementação da estrutura de controle supervisório.